PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs Joseph E. Gonzalez Carnegie Mellon University Yucheng Low

Source URL: www.usenix.org

• Graph theory
• Graph
• Vertex
• Degree
• Connected component
• Distance
• Planar separator theorem
• Tree

Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic

Source URL: homepages.inf.ed.ac.uk

Network: Computation in Neural Systems–339. Printed in the UK WORKSHOP PAPER Natural image statistics and efficient coding∗ B A Olshausen† and D J Field‡

Source URL: redwood.psych.cornell.edu

CONTINUING EDUCATION WEBINAR SERIES Date: Wednesday, August 6, 2014 Time: 6-7pm Location: http://connect.ag.vt.edu/vmn_at8/ Collaborative Science: Using Adaptive Management and

Source URL: dl.dropboxusercontent.com

• Crowdsourcing
• Citizen science
• Human-based computation
• E-Science
• Natural history

GIUSEPPE NARZISI PH.D. One Bungtown Road, Koch Building 1121, Cold Spring Harbor, NYWork Phone: +Email: URL: http://schatzlab.cshl.edu/people/gnarzisi/ WORK EXPERIENCE & POSITION

Source URL: schatzlab.cshl.edu

• Artificial intelligence
• Theoretical computer science
• Artificial immune system
• Immunology
• Evolutionary computation
• Natural computing
• Bioinformatics
• Global optimization
• Agent-based model
• Applied mathematics
• Science
• Evolutionary algorithms

Incremental Models of Natural Language Category Acquisition Trevor Fountain () Mirella Lapata () Institute for Language, Cognition and Computation School of Informatics, Universit

Source URL: texasexpat.net

• Semantics
• Natural language processing
• Computational linguistics
• Statistical natural language processing
• Lexical semantics
• Document-term matrix
• Semantic similarity
• Latent Dirichlet allocation
• Cluster analysis
• Statistics
• Linguistics
• Science

Alessandro Bozzon Date of birth NationalityItalian

Source URL: alessandrobozzon.com

• Web engineering
• Computing
• Crowdsourcing
• Science
• Information retrieval
• Semantic Web
• Human-based computation
• Database
• Information systems
• Natural language processing
• World Wide Web
• Web development

An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation

Source URL: www.ensiie.fr

• Cut-elimination theorem
• Sequent
• Rule of inference
• First-order logic
• Formal proof
• Natural deduction
• Structural proof theory
• Logic
• Proof theory
• Mathematical logic

Memory Bounded Inference in Topic Models Ryan Gomes GOMES @ VISION . CALTECH . EDU Dept. of Computation and Neural Systems, California Institute of Technology, Pasadena, CAUSA Max Welling

Source URL: www.ics.uci.edu

• Estimation theory
• Expectation–maximization algorithm
• Missing data
• Mixture model
• Latent Dirichlet allocation
• Dirichlet process
• Time complexity
• Calculus of variations
• Statistics
• Theoretical computer science
• Statistical natural language processing

Incremental Models of Natural Language Categorization Trevor Fountain and Mirella Lapata Institute for Language, Cognition, and Computation Natural Language Categorization Corpus Experiment

Source URL: www.texasexpat.net